Розглядається проблема автоматизації створення комп'ютерних діалогових середовищ. Введено поняття діалогової алгебри та розглянуто деякі її властивості. Результати щодо цієї алгебри покладено в основу розробки інструментального засобу Fancy for Windows. Цей засіб дає змогу в значній мірі автоматизувати створення програм зі складною взаємодією з користувачем.

Проведено аналіз методів специфікації моделей розподілених застосувань (РЗ), їх компонентів, методів верифікації та тестування РЗ у середовищі розподілених систем. Розглянуто традиційні методи тестування РЗ, які базуються на викликах віддалених процедур.

Робота присвячена дослідженню методів та моделей оцінювання витрат на створення програмного забезпечення (ПЗ) комп'ютерних систем, що є однією з важливих складових управління програмними проектами. Запропонована модель оцінки трудомісткості та вартості ПЗ найбільш сприйнятна для застосування при розробці автоматизованих систем.

Розглядається зв'язок проблем автоматизації суджень, АС-уніфікації і сумісність систем лінійних діофантових рівнянь над множиною натуральних чисел. Запропонована інкрементальна версія критерію перевірки сумісності системи лінійних однорідних діофантових рівнянь над множиною натуральних чисел.

^aОписується евристичний списковий алгоритм побудови розкладу роботи багатопроцесорного паралельного комплексу, який забезпечує виконання всіх робіт за мінімально можливий час при достатній кількості процесорів для максимального розпаралелювання без переназначень робіт. Доводиться коректність і часова складність алгоритму.

Пропонуються критерії оцінки навчаючих вибірок (не з кількісної, а зі структурної точки зору). Запропоновані критерії, призначені для прогнозування якості знань, які одержуються з вибірок, що оцінюються, за допомогою алгоритмів індуктивного узагальнення. Розглянуто застосування цих критеріїв для порівняння навчаючих вибірок, отриманих в результаті різних видів дискретизації реальних даних.

Подані й впорядковані в цілісному контексті основні вихідні поняття концептуального моделювання, запропонована формально-логічна система для аналізу логічних проблем подання знань про предметні області в інформаційних системах.

Представлены и упорядочены в целостный контекст исходные основные понятия концептуального моделирования и предложена формально-логическая система для анализа логических проблем представления знаний о предметных областях в информационных системах.

Изложен подход к интеллектуализированному созданию специализированных технологий программирования (СТП). Рассмотрены базовые концепции метода конструирования СТП из технологических объектов, представленных в базе знаний. Описан типовой метатехнологический процесс конструирования СТП.

У статті наведені концепція та модель зрілості технологічних процесів (ТП) створення програмного забезпечення (ПЗ) комп'ютерних систем (СММ-модель). Подано стислий огляд існуючих методів застосування цієї моделі, а також описано розроблений авторами статті експрес-метод оцінювання рівня зрілості технологічних процесів організацій-розробників ПЗ з метою вибору виконувачів великих замовлень на розробку ПЗ.

Досліджена операція рекурсії, що індукується рівнянням чи системою рівнянь. Показана замкненість класів монотонних (неперервних) функцій відносно рекурсії, а також неперервність самої рекурсії.

Исследуется монотонность и непрерывность в индуктивных множествах. Введена топология Скотта, рассмотрены произведения и обобщенные произведения индуктивных множеств. Установлена замкнутость классов монотонных и непрерывных функций относительно суперпозиции, а также монотонность и непрерывность самой суперпозиции.

Рассматриваются проблемы общения человека с вычислительной системой на естественном языке и один из возможных подходов к их решению в рамках САА-Д - входного языка диалоговой трансформационной машины.

Запропоновано трактування експертизи альтернатив (ЕА) як етапу процесу формування цілісної концепції предметної області, що реалізується за допомогою організації опосередкованої взаємодії учасників ЕА та статистичного аналізу їх суджень з метою адекватного обгрунтування підсумкового рішення. В рамках даного підходу описано архітектурні рішення для програмно-технологічних комплексів (ПТК) ЕА та оцінки характеристик дослідницьких проектів, методично підтримуваних ПТК ЕА.

Запропоновано поняття, схема взаємодії компонентів об'єктно-орієнтованих розподілених застосувань (РЗ) та мова опису розподіленого середовища. Дана мова дозволяє визначити основні операції над об'єктами РЗ та властивості застосувань.

Ця робота присвячена формулюванню загального поняття лексикографічної системи як особливого типу інформаційних систем й розвиненню основних положень інформаційної теорії лексикографічних систем.

Розглянуті питання щодо побудови середовища програмування та розробки скінченно-різницевих моделей предметної області. Запропоновано технологію розробки та використання програмного забезпечення, яка грунтується на застосуванні об'єктно-орієнтованого підходу у рамках концепції базових засобів. Описана система чисельного моделювання предметної області, яка побудована з використанням програми обробки електронних таблиць EXCEL 97 та мови програмування Visual Basic for Applications.

Досліджується поведінка об'єктної системи у рамках об'єктно-орієнтованого проектування моделей предметних областей, що засноване на багатоаспектному об'єктно-орієнтованому аналізі. Наводиться необхідний термінологічний апарат, даються формальні визначення основних понять. Даний підхід може використовуватись при розробці об'єктно-орієнтованих методологій моделювання предметних областей для побудови комп'ютерних систем.

Рассмотрены вопросы улучшения процесса тестирования программного обеспечения (ПО), одного из наиболее трудоемких и дорогостоящих процессов разработки. Предложена модель зрелости процесса тестирования, дополняющая модель технологической зрелости организаций-разработчиков ПО (СММ-модель).

Показано практичне застосування концепцій реінженерії на прикладі розробки архітектури прикладної програмної системи "DSR Open Lab 1.0" для моделювання певного класу математичних структур, призначеної, головним чином, для використання у навчальному процесі.